diff --git a/arch/Kconfig b/arch/Kconfig
index 3701647..7ccdbf7 100644
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -94,6 +94,8 @@
 	select DM_GPIO
 	select DM_SPI
 	select DM_SPI_FLASH
+	select TIMER
+	select X86_TSC_TIMER
 	select USB
 	select USB_EHCI_HCD
 	imply CMD_FPGA_LOADMK